Constructible number - PDFSEARCH.IO - Document Search Engine

Constructible number
Results: 311

#	Item
241	Composing Models Jan van Eijck, Yanjing Wang, and Floor Sietsma Centrum Wiskunde en Informatica, Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:13:30 Philosophical logic Kripke semantics Modal logic Sheaf theory Vehicle Identification Number Constructible universe Logic Mathematical logic Model theory
242	Cupping ∆02 enumeration degrees to 0e Mariya Ivanova Soskova1 Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2007-04-20 07:18:18 Mathematics Proof theory Ordinal arithmetic Curry–Howard correspondence Constructible universe Sheaf Ordinal number
243	On the foundations of constructive mathematics — especially in relation to the theory of continuous functions Add to Reading List Source URL: www.fwaaldijk.nl Language: English - Date: 2011-07-29 12:07:36 Logic Epistemology Logic in computer science Bar induction Mathematical induction Constructivism Ordinal number Computability theory Constructible universe Mathematical logic Mathematical constructivism Mathematics
244	ON HANF NUMBERS OF THE INFINITARY ORDER PROPERTY DRAFT RAMI GROSSBERG AND SAHARON SHELAH Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 1998-06-09 14:32:15 Set theory Ordinal numbers Symbol Cofinality Stable theory Tree Constructible universe Cardinal number Weakly compact cardinal Mathematical logic Large cardinals Mathematics
245	The high/low hierarchy in the local structure of the ω-enumeration degrees Hristo Gancheva,1,2 , Mariya Soskovaa,1,3 Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2009-11-24 09:49:22 Enumeration Constructible universe Ordinal number Forcing Wreath product Mathematics Enumerative combinatorics Mathematical logic
246	Noname manuscript No. (will be inserted by the editor) Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2009-10-12 04:55:55 Enumeration Constructible universe Logic Ordinal number Recursively enumerable set Mathematics Mathematical logic Enumerative combinatorics
247	EMBEDDING COUNTABLE PARTIAL ORDERINGS IN THE ENUMERATION DEGREES AND THE ω-ENUMERATION DEGREES Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2009-11-24 09:48:56 Enumeration Turing degree Constructible universe Ordinal number Series Forcing Mathematics Mathematical logic Enumerative combinatorics
248	Weak Bisimulation Approximants Will Harwood, Faron Moller , and Anton Setzer Department of Computer Science, Swansea University Singleton Park, Sketty, Swansea SA2 8PP, UK {cswill,f.g.moller,a.g.setzer}@swansea.ac.uk Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-07-06 06:30:07 Constructible universe Cardinal number Tree Net Limit ordinal Ordinal arithmetic Mahlo cardinal Mathematical logic Ordinal numbers Mathematics
249	Weak Bisimulation Approximants Will Harwood and Faron Moller Department of Computer Science, Swansea University Abstract. Bisimilarity , a canonical notion of equivalence between processes, is defined co-inductively, but Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-05-01 15:35:42 Forcing Set theory Tree Cardinal number Complete Boolean algebra Symbol Bisimulation Constructible universe Weakly compact cardinal Mathematical logic Mathematics Large cardinals
250	KALIMULLIN PAIRS OF Σ02 ω-ENUMERATION DEGREES IVAN N. SOSKOV AND MARIYA I. SOSKOVA Abstract. We study the notion of K-pairs in the local structure of the ωenumeration degrees. We introduce the notion of super almost z Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2011-05-26 05:11:20 Enumeration Logic Ordinal number Turing degree Philosophy of mathematics Constructible universe Mathematics Computability theory Mathematical logic

UPDATE